CIRcuit CALculus

(CIRCAL) A process algebra used to model and verify the

design correctness of concurrent systems such as digitallogic.

["CIRCAL and the Representation of Communication, Concurrency

and Time", G.J. Milne [email protected], ACM TOPLAS

7(2):270-298, 1985].

(2001-03-25)